Where We’re Going, We Don’t Need Drivers: Autonomous Vehicles and AI-Chaperone Liability

The future of mainstream autonomous vehicles is approaching in the rearview mirror. Yet, the current legal regime for tort liability leaves an open question on how tortious Artificial Intelligence (AI) devices and systems that are capable of machine learning will be held accountable. To understand the potential answer, one may simply go back in time and see how this question would be answered under traditional torts. This Comment tests whether the incident involving an autonomous vehicle hitting a pedestrian is covered under the traditional torts, argues that they are incapable of solving this novel problem, and ultimately proposes a new strict liability tort: AI-Chaperone Liability. Because advancement in technology requires advancement in the law, AI-Chaperone Liability is a step forward in unchartered territory

The Milky Way satellite velocity function is a sharp probe of small-scale structure problems

Twenty years ago, the mismatch between the observed number of Milky Way satellite galaxies and the predicted number of cold dark matter subhalos was dubbed the "missing satellites problem". Although mostly framed since in terms of satellite counts in luminosity space, the missing satellites problem was originally posed in velocity space. The stellar velocity dispersion function encodes information about the density profile of satellites as well as their abundance. We compare the completeness-corrected MW satellite velocity function down to its ultrafaint dwarfs (L > 340 L$_\odot$) against well-motivated, semi-empirical predictions based on galaxy-halo scaling relations. For our most conservative completeness correction, we find good agreement with a simple CDM model in which massive, classical satellites (M$_{\rm vir} \gtrsim 10^9~$M$_\odot$) have baryon-driven cores, while low-mass, ultrafaint satellites (M$_{\rm vir} \lesssim 10^9~$M$_\odot$) inhabit cuspy halos that are not strongly tidally stripped. This bifurication is required to explain a non-power-law feature in the velocity function at $\sigma_{\rm los}^* \approx 10$ km/s. Intriguingly, this feature could point to a flattening of the stellar-mass--halo-mass relation. Tidal destruction of satellites by the Milky Way's disk must be minimal, or the corrected velocity function exceeds any plausible prediction -- a "too many satellites" problem. We rule out non-core-collapsing self-interacting dark matter models with a constant cross section $\gtrsim$ 0.3 cm$^2$/g. Constraints on warm dark matter are stronger than those based on the luminosity function on account of the velocity function's additional sensitivity to the central densities of subhalos. Reducing uncertainties on stellar kinematics and the amount of tidal stripping experienced by the faintest dwarfs is key to determining the severity of the too many satellites problem.Comment: 19 pages, 13 figures. Key results are summarized in Figure 6. To be submitted to MNRAS. Comments welcome

Verification of the Socio-Technical Aspects of Voting: The Case of the Polish Postal Vote 2020

Voting procedures are designed and implemented by people, for people, and with significant human involvement. Thus, one should take into account the human factors in order to comprehensively analyze properties of an election and detect threats. In particular, it is essential to assess how actions and strategies of the involved agents (voters, municipal office employees, mail clerks) can influence the outcome of other agents' actions as well as the overall outcome of the election. In this paper, we present our first attempt to capture those aspects in a formal multi-agent model of the Polish presidential election 2020. The election marked the first time when postal vote was universally available in Poland. Unfortunately, the voting scheme was prepared under time pressure and political pressure, and without the involvement of experts. This might have opened up possibilities for various kinds of ballot fraud, in-house coercion, etc. We propose a preliminary scalable model of the procedure in the form of a Multi-Agent Graph, and formalize selected integrity and security properties by formulas of agent logics. Then, we transform the models and formulas so that they can be input to the state-of-art model checker Uppaal. The first series of experiments demonstrates that verification scales rather badly due to the state-space explosion. However, we show that a recently developed technique of user-friendly model reduction by variable abstraction allows us to verify more complex scenarios

Comment on "Antilocalization in a 2D Electron Gas in a Random Magnetic Field"

In a recent Letter, Taras-Semchuk and Efetov reconsider the problem of electron localization in a random magnetic field in two dimensions. They claim that due to the long-range nature of the vector potential correlations an additional term appears in the effective field theory ($\sigma$-model) of the problem, leading to delocalization at the one-loop level. This calls into question the results of earlier analytical studies, where the random magnetic field problem was mapped onto the conventional unitary-class $\sigma$-model, implying that the leading quantum correction is of two-loop order and of a localizing nature. We show in this Comment, however, that the new term in fact does not exist and was erroneously obtained by Taras-Semchuk and Efetov because of an inconsistent treatment violating gauge invariance.Comment: 1 page, 2 figure

The norovirus NS3 protein is a dynamic lipid- and microtubule-associated protein involved in viral RNA replication

Norovirus (NoV) infections are a significant health burden to society, yet the lack of reliable tissue culture systems has hampered the development of appropriate antiviral therapies. Here we show that the NoV NS3 protein, derived from murine NoV (MNV), is intimately associated with the MNV replication complex and the viral replication intermediate double-stranded RNA (dsRNA). We observed that when expressed individually, MNV NS3 and NS3 encoded by human Norwalk virus (NV) induced the formation of distinct vesicle-like structures that did not colocalize with any particular protein markers to cellular organelles but localized to cellular membranes, in particular those with a high cholesterol content. Both proteins also showed some degree of colocalization with the cytoskeleton marker β-tubulin. Although the distribution of MNV and NV NS3s were similar, NV NS3 displayed a higher level of colocalization with the Golgi apparatus and the endoplasmic reticulum (ER). However, we observed that although both proteins colocalized in membranes counterstained with filipin, an indicator of cholesterol content, MNV NS3 displayed a greater association with flotillin and stomatin, proteins known to associate with sphingolipid- and cholesterol-rich microdomains. Utilizing time-lapse epifluorescence microscopy, we observed that the membrane-derived vesicular structures induced by MNV NS3 were highly motile and dynamic in nature, and their movement was dependent on intact microtubules. These results begin to interrogate the functions of NoV proteins during virus replication and highlight the conserved properties of the NoV NS3 proteins among the seven Norovirus genogroups

Model Checkers Are Cool: How to Model Check Voting Protocols in Uppaal

The design and implementation of an e-voting system is a challenging task. Formal analysis can be of great help here. In particular, it can lead to a better understanding of how the voting system works, and what requirements on the system are relevant. In this paper, we propose that the state-of-art model checker Uppaal provides a good environment for modelling and preliminary verification of voting protocols. To illustrate this, we present an Uppaal model of Pr\^et \`a Voter, together with some natural extensions. We also show how to verify a variant of receipt-freeness, despite the severe limitations of the property specification language in the model checker

Wide-field two-photon microscopy with temporal focusing and HiLo background rejection

Scanningless depth-resolved microscopy is achieved through spatial-temporal focusing and has been demonstrated previously. The advantage of this method is that a large area may be imaged without scanning resulting in higher throughput of the imaging system. Because it is a widefield technique, the optical sectioning effect is considerably poorer than with conventional spatial focusing two-photon microscopy. Here we propose wide-field two-photon microscopy based on spatio-temporal focusing and employing background rejection based on the HiLo microscope principle. We demonstrate the effects of applying HiLo microscopy to widefield temporally focused two-photon microscopy

Nucleotidylylation of the VPg protein of a human norovirus by its proteinase-polymerase precursor protein

AbstractCaliciviruses have a positive strand RNA genome covalently-linked at the 5'-end to a small protein, VPg. This study examined the biochemical modification of VPg by the ProPol form of the polymerase of human norovirus strain MD145 (GII.4). Recombinant norovirus VPg was shown to be nucleotidylylated in the presence of Mn2+ by MD145 ProPol. Phosphodiesterase I treatment of the nucleotidylylated VPg released the incorporated UMP, which was consistent with linkage of RNA to VPg via a phosphodiester bond. Mutagenesis analysis of VPg identified Tyrosine 27 as the target amino acid for this linkage, and suggested that VPg conformation was important for the reaction. Nucleotidylylation was inefficient in the presence of Mg2+; however the addition of full- and subgenomic-length MD145 RNA transcripts led to a marked enhancement of the nucleotidylylation efficiency in the presence of this divalent cation. Furthermore, evidence was found for the presence of an RNA element near the 3'-end of the polyadenylated genome that enhanced the efficiency of nucleotidylylation in the presence of Mg2+